Results for 'Paul Bernays Way'

1000+ found
Order:
  1.  8
    Miriam FRANCHELLA Università degli Studi, Milano.Paul Bernays Way - 2006 - Grazer Philosophische Studien 70 (1):47-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  88
    A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
    Introduction. The system of axioms for set theory to be exhibited in this paper is a modification of the axiom system due to von Neumann. In particular it adopts the principal idea of von Neumann, that the elimination of the undefined notion of a property (“definite Eigenschaft”), which occurs in the original axiom system of Zermelo, can be accomplished in such a way as to make the resulting axiom system elementary, in the sense of being formalizable in the logical calculus (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  3.  27
    Paul Bernays' philosophical way.Miriam Franchella - 2006 - Grazer Philosophische Studien 70 (1):47-66.
    Paul Bernays was both a philosopher and a mathematician. He is famous for his logical-mathematical production (also in collaboration with David Hilbert), while his philosophical works have been given less consideration. The present article is an attempt to reconstruct the way that led Bernays from his early writings on ethics to his final epistemological thought.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  20
    Solvable Cases of the Decision Problem.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (1):68-72.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  16
    Meaning and Necessity: A Study in Semantics and Modal Logic.Paul Bernays - 1950 - Journal of Symbolic Logic 14 (4):237-241.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  6.  17
    A Note on the Redundant Axiom of Principia Mathematica.Paul Bernays - 1971 - Journal of Symbolic Logic 36 (2):332-333.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  3
    Logica : studia Paul Bernays dedicata.Paul Bernays - 1959 - Éditions du Griffon.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  86
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. [REVIEW]Paul Bernays - 1970 - Journal of Philosophy 67 (4):109-110.
  9. Sur le platonisme dans les mathématiques.Paul Bernays - 1935 - L’Enseignement Mathematique 34:52--69.
    No categories
     
    Export citation  
     
    Bookmark   48 citations  
  10.  3
    A propos de la nature de la négation en logique.Paul Bernays - 1940 - Revue de Théologie Et de Philosophie 28 (14):134.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  2
    A Propos de la Nature de la Négation en Logique.Paul Bernays - 1947 - Journal of Symbolic Logic 12 (2):58-58.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  8
    Sur les Rapports Entre la Logique et la Physique Théorique.Paul Bernays - 1949 - Journal of Symbolic Logic 14 (2):128-129.
  13.  18
    Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  14.  2
    Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.
    Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  15.  7
    Essai sur Les Notions de Structure et D'Existence en Mathématiques.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):20-22.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  6
    Essai sur L'Unité des Sciences Mathématiques dans Leur Développement Actuel.Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):22-22.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  71
    A system of axiomatic set theory - Part VII.Paul Bernays - 1954 - Journal of Symbolic Logic 19 (2):81-96.
    The reader of Part VI will have noticed that among the set-theoretic models considered there some models were missing which were announced in Part II for certain proofs of independence. These models will be supplied now.Mainly two models have to be constructed: one with the property that there exists a set which is its own only element, and another in which the axioms I–III and VII, but not Va, are satisfied. In either case we need not satisfy the axiom of (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  18.  37
    Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.
    Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich (...)
    No categories
  19.  67
    Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):148-149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  20.  53
    A system of axiomatic set theory—Part II.Paul Bernays - 1941 - Journal of Symbolic Logic 6 (1):1-17.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  21.  52
    A system of axiomatic set theory: Part IV. general set theory.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (4):133-145.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  22. A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis.Paul Bernays - 1942 - Journal of Symbolic Logic 7 (2):65-89.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  23.  5
    Foundations of Geometery.David Hilbert & Paul Bernays - 1971 - Open Court.
    The material contained in the following translation was given in substance by Professor Hilbertas a course of lectures on euclidean geometry at the University of G]ottingen during the wintersemester of 1898-1899. The results of his investigation were re-arranged and put into the formin which they appear here as a memorial address published in connection with the celebration atthe unveiling of the Gauss-Weber monument at G]ottingen, in June, 1899. In the French edition, which appeared soon after, Professor Hilbert made some additions, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  24.  23
    Axiomatic Set Theory.Foundations of Set Theory.Paul Bernays, Abraham A. Fraenkel & Yehoshua Bar-Hillel - 1962 - Philosophical Review 71 (2):268-269.
  25. Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 1--14.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  26.  10
    Écrits logiques.Paul Bernays - 1971 - Journal of Symbolic Logic 36 (3):523-524.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  20
    Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre.Paul Bernays - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 3--49.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  28.  20
    Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  29.  32
    Mathematische Existenz und Widerspruchsfreiheit.Paul Bernays - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  30.  7
    A System of Axiomatic Set Theory.Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  44
    A system of axiomatic set theory—Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (2):65-79.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  5
    Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.
  33.  10
    Zur Frage der Unendlichkeitsschemata in der Axiomatischen Mengenlehre.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (3):353-354.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  34.  14
    Die schematische Korrespondenz und die idealisierten Strukturen.Paul Bernays - 1970 - Dialectica 24 (1‐3):53-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  35.  26
    Logical Calculus.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (4):162-163.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  7
    A System of Axiomatic Set Theory--Part I.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (1):49-49.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  37. A system of axiomatic set theory. Part V. General set theory continued.Paul Bernays - 1943 - Journal of Symbolic Logic 8:89.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  19
    Über die Ausdehnung des Begriffes der Komplementarität auf die Philosophie.Paul Bernays - 1948 - Synthese 7 (1):66 - 70.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  5
    Grundsätzliches zur philosophie ouverte.Paul Bernays - 1948 - Dialectica 2 (2):273-279.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Bernays Paul (ed.), Universal Logic: An Anthology. pp. 43-58.
  41.  5
    Philosophie des mathématiques.Paul Bernays - 2003 - Librairie Philosophique J Vrin.
    Les articles de ce recueil discutent les principes de la pensee mathematique qui ont fait le partage entre les trois fameuses options philosophiques: logicisme, formalisme et intuitionnisme. Leur auteur, Paul Bernays, fut un des plus proches collaborateurs de David Hilbert, qui a si profondement marque de son empreinte les mathematiques du XXe siecle et la philosophie construite a leur sujet. Defenseur de l'infini, de la methode axiomatique, des structures generales, des raisonnements abstraits, de la formalisation logique, Hilbert a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  24
    Lorenzen Paul. Über endliche Mengen. Mathematische Annalen, vol. 123 , pp. 331–338.Paul Bernays - 1952 - Journal of Symbolic Logic 17 (4):275-276.
  43.  14
    John Myhill. Variations on a theme of Bernays. Notre Dame journal of formal logic, vol. 4 no. 4 , pp. 274–282.Paul Bernays - 1970 - Journal of Symbolic Logic 35 (2):345-346.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    On the Original Gentzen Consistency Proof for Number Theory.Paul Bernays, A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  45.  13
    Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  14
    Uber eine Naturliche Erweiterung des Relationenkalkuls.Paul Bernays - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  8
    Paul Bernays. Die Manningfaltigketi der Direktiven für die Gestaltung geometrischer Axiomensysteme. The axiomatic method, with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 1–15. [REVIEW]Paul Bernays - 1969 - Journal of Symbolic Logic 34 (2):310-310.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    A System of Axiomatic Set Theory--Part VI.Paul Bernays - 1948 - Journal of Symbolic Logic 13 (4):220-221.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  5
    Ackermann Wilhelm. Mengentheoretische Begründung der Logik. Mathematische Annalen, vol. 115 , pp. 1–22.Paul Bernays - 1938 - Journal of Symbolic Logic 3 (2):85-85.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  10
    Abhandlungen zur Philosophie der Mathematik.Paul Bernays - 1976 - Darmstadt: Wissenschaftliche Buchgesellschaft, [Abt. Verl.].
1 — 50 / 1000